翻訳と辞書
Words near each other
・ Covered with Ants
・ Covered, A Revolution in Sound
・ CoverGirl
・ Covergirl (album)
・ COVERguy
・ Coverham
・ Coverham Abbey
・ Coverham with Agglethorpe
・ Covering
・ Covering (martial arts)
・ Covering a base
・ Covering code
・ Covering force
・ Covering graph
・ Covering Ground
Covering group
・ Covering groups of the alternating and symmetric groups
・ Covering Islam
・ Covering Kids and Families of Indiana
・ Covering lemma
・ Covering number
・ Covering of the eyes
・ Covering of the Senne
・ Covering problem of Rado
・ Covering problems
・ Covering relation
・ Covering set
・ Covering sickness
・ Covering space
・ Covering system


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Covering group : ウィキペディア英語版
Covering group

In mathematics, a covering group of a topological group ''H'' is a covering space ''G'' of ''H'' such that ''G'' is a topological group and the covering map ''p'' : ''G'' → ''H'' is a continuous group homomorphism. The map ''p'' is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which ''H'' has index 2 in ''G;'' examples include the Spin groups, Pin groups, and metaplectic groups.
Roughly explained, saying that for example the metaplectic group ''Mp''2''n'' is a ''double cover'' of the symplectic group ''Sp''2''n'' means that there are always two elements in the metaplectic group representing one element in the symplectic group.
==Properties==

Let ''G'' be a covering group of ''H''. The kernel ''K'' of the covering homomorphism is just the fiber over the identity in ''H'' and is a discrete normal subgroup of ''G''. The kernel ''K'' is closed in ''G'' if and only if ''G'' is Hausdorff (and if and only if ''H'' is Hausdorff). Going in the other direction, if ''G'' is any topological group and ''K'' is a discrete normal subgroup of ''G'' then the quotient map ''p'' : ''G'' → ''G''/''K'' is a covering homomorphism.
If ''G'' is connected then ''K'', being a discrete normal subgroup, necessarily lies in the center of ''G'' and is therefore abelian. In this case, the center of ''H'' = ''G''/''K'' is given by
:Z(H) \cong Z(G)/K.
As with all covering spaces, the fundamental group of ''G'' injects into the fundamental group of ''H''. Since the fundamental group of a topological group is always abelian, every covering group is a normal covering space. In particular, if ''G'' is path-connected then the quotient group \pi_1(H)/\pi_1(G) is isomorphic to ''K''. The group ''K'' acts simply transitively on the fibers (which are just left cosets) by right multiplication. The group ''G'' is then a principal ''K''-bundle over ''H''.
If ''G'' is a covering group of ''H'' then the groups ''G'' and ''H'' are locally isomorphic. Moreover, given any two connected locally isomorphic groups ''H''1 and ''H''2, there exists a topological group ''G'' with discrete normal subgroups ''K''1 and ''K''2 such that ''H''1 is isomorphic to ''G''/''K''1 and ''H''2 is isomorphic to ''G''/''K''2.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Covering group」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.